A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals
نویسندگان
چکیده
منابع مشابه
On large cardinals and generalized Baire spaces
Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal κ. We show the consistency of E ++,λ++ λ-club , the relation of equivalence modulo the non-stationary ideal restricted to Sλ ++ λ in the space (λ++)λ ++ , being continuously reducible to E ++ λ+-club , the relation of equi...
متن کاملComputable Analysis Over the Generalized Baire Space
One of the main goals of computable analysis is that of formalizing the complexity of theorems from real analysis. In this setting Weihrauch reductions play the role that Turing reductions do in standard computability theory. Via coding, we can transfer computability and topological results from the Baire space ω to any space of cardinality 2א0 , so that e.g. functions over R can be coded as fu...
متن کاملAbsoluteness for Universally Baire Sets and the Uncountable I
Cantor’s Continuum Hypothesis was proved to be independent from the usual ZFC axioms of Set Theory by Gödel and Cohen. The method of forcing, developed by Cohen to this end, has lead to a profusion of independence results in the following decades. Many other statements about infinite sets, such as the Borel Conjecture, Whitehead’s problem, and automatic continuity for Banach Algebras, were prov...
متن کاملAbsoluteness for Universally Baire Sets and the Uncountable Ii
Using ♦ and large cardinals we extend results of Magidor–Malitz and Farah–Larson to obtain models correct for the existence of uncountable homogeneous sets for finite-dimensional partitions and universally Baire sets. Furthermore, we show that the constructions in this paper and its predecessor can be modified to produce a family of 2ω1 -many such models so that no two have a stationary, costat...
متن کاملDefinable Tree Property Can Hold at All Uncountable Regular Cardinals
Starting from a supercompact cardinal and a measurable above it, we construct a model of ZFC in which the definable tree property holds at all uncountable regular cardinals. This answers a question from [1]
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 2017
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm130-9-2016